1. A theory and practice of program development /
Author: Derek Andrews
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,Computer software-- Development
Classification :
QA76
.
76
.
D47
A427
1997
2. Digital libraries
Author: / edited by Judith Andrews and Derek Law
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Digital libraries,Digital libraries- Great Britain- Case studies,Digital libraries- United States- Case studies
Classification :
ZA4080
.
D543
2004
3. Formal methods in Standards: a report form the BCS working group
Author: / C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Electronic data processing - Standards - Great Britain
Classification :
QA76
.
9
.
S8F67
1990
4. Formal methods in standards : a report from the BCS Working Group
Author: C.L.N. Ruggles, )ed.( ; principal contributors, Derek Andrews ... )et. al.(
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic data processing - Standards - Great Britain
Classification :
QA
.
S8F67
76
.
9
1990
5. Practical formal methods with VDM
Author: Andrews, Derek.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer software- Development
Classification :
QA
76
.
76
.
D47A52
1991
